AxiomProver 的功能越來越強大。 @axiommathai 的粉絲群還在不斷壯大。 我很高興地宣布，Ken Ono 教授（@KenOno691）已加入 Axiom，擔任創始數學家和第 15 位全職員工。 他辭去了維吉尼亞大學教務長 STEM 顧問的終身職位，加入我們，共同打造人工智慧數學家。 以下是肯的故事。 (1)
五年前，肯給了我一個機會，讓我這個大一新生進入他著名的數論本科生科學研究計畫。 那是我人生中最具變革性的經歷之一——我之前一直參加數學奧林匹克競賽，那個夏天讓我真正了解了數學研究是什麼樣的。 (2)
為了確保我有經濟能力參加，他授予我拉馬努金精神獎學金，該獎學金以自學成才的天才拉馬努金的名字命名，肯花了數十年時間研究和擴展拉馬努金的大量著作。 後來，他指導我解決了拉馬努金理論中的一些未解猜想。 (3)
加州大學柏克萊分校教授、美國數學學會前主席肯·裡貝特稱肯是「數學界一位傳奇人物」。 沒錯。肯的成就無所不包，從證明分割函數的深奧成果，到指導奧運游泳運動員，再到製作一部關於拉馬努金的好萊塢電影。 (4)
為什麼要這麼做？在接受《華爾街日報》獨家專訪時，肯的解釋比我能說的要好得多： 「我有幸參與改變世界實際運作的方式。作為一名純粹數學家，這種情況很少發生。」（5）
事實上，當我們創立 Axiom 時，我堅信人工智慧在數學發現領域擁有改變一切的力量——從我們對宇宙和大腦的理解，到我們對現在的模擬和對未來的規劃。 (6)
拉馬努金獨自在印度工作，他在筆記本上寫滿了定理，而數學界花了數十年才完全理解這些定理。 Axiom公司正在打造的人工智慧數學家不會取代下一個拉馬努金——它將賦能於他們，與他們合作，並以前所未有的規模放大他們的才華。 (7)
Axiom 的這套 4 個月前推出的系統，在精實生產中無需人工幹預就解決了 Erdős 問題 124 和 481。 證明的程式碼，就像拉馬努金直覺的魔力一樣，在螢幕上即時展開。 獻給我的科學同事：數學發現的未來已經到來。 我希望你能加入我們。 (8)
閱讀今天早上《華爾街日報》的更多報導： https://t.co/Fpk9hKBIby (9)